Woodin ’ s axiom ( ∗ ) , or Martin ’ s Maximum , or both ? Ralf
نویسندگان
چکیده
We present and discuss a new axiom, Martin’s Maximum∗,++, cf. Definition 2.10, which amalgamates Woodin’s Pmax axiom (∗) and Martin’s Maximum++. If a mathematical object can be imagined in a reasonable way, then it exists!
منابع مشابه
Woodin's Axiom ( * ), Bounded Forcing Axioms, and Precipitous Ideals on Ω 1
If the Bounded Proper Forcing Axiom BPFA holds, then Mouse Reflection holds at א2 with respect to all mouse operators up to the level of Woodin cardinals in the next ZFC–model. This yields that if Woodin’s Pmax axiom (∗) holds, then BPFA implies that V is closed under the “Woodin-in-the-nextZFC–model” operator. We also discuss stronger Mouse Reflection principles which we show to follow from st...
متن کاملWoodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
If the Bounded Proper Forcing Axiom BPFA holds, then Mouse Reflection holds at א2 with respect to all mouse operators up to the level of Woodin cardinals in the next ZFC–model. This yields that if Woodin’s Pmax axiom (∗) holds, then BPFA implies that V is closed under the “Woodin-in-the-nextZFC–model” operator. We also discuss stronger Mouse Reflection principles which we show to follow from st...
متن کاملThe envelope of a pointclass under a local determinacy hypothesis
Given an inductive-like pointclass Γ ̃ and assuming the Axiom of Determinacy, Martin identified and analyzed the pointclass containing the norm relations of the next semiscale beyond Γ ̃, if one exists. We show that much of Martin’s analysis can be carried out assuming only ZF+DCR + Det(∆ ̃ Γ ̃ This generalization requires arguments from Kechris–Woodin [10] and Martin [13]. The results of [10] and ...
متن کاملProper forcing and remarkable cardinals
The present paper investigates the power of proper forcings to change the shape of the universe, in a certain well-defined respect. It turns out that the ranking among large cardinals can be used as a measure for that power. However, in order to establish the final result I had to isolate a new large cardinal concept, which I dubbed “remarkability.” Let us approach the exact formulation of the ...
متن کاملBounded Martin's Maximum with an Asterisk
1The first author was supported by Austrian Science Fund (FWF) project M 1408-N25. 2The second author is indebted to W. Hugh Woodin, Ilijas Farah, and Menachem Magidor for crucial conversations on the topics of this paper. He is also grateful to Andrés Caicedo and Paul Larson for many conversations on the topics of this paper in particular during the SQuaRE meetings at the AIM in Palo Alto, May...
متن کامل